Reliability analysis of communicating recovery blocks
نویسندگان
چکیده
منابع مشابه
Analysis of Backward Error Recovery for Concurrent Processes with Recovery Blocks
This document has been reproduced from the best copy furnished by the organizational source. It is being released in the interest of making available as much information as possible. This document may contain data, which exceeds the sheet parameters. It was furnished in this condition by the organizational source and is the best copy available. This document may contain tone-on-tone or color gr...
متن کاملA Process Algebraic Approach to Decomposition of Communicating SysML Blocks
The block concept is a fundamental modelling construct in the Systems Modeling Language (SysML), a visual modelling language for systems engineering applications. In a top-down systems engineering approach, an abstract block is decomposed into concrete communicating sub-blocks. However, the classifier behaviour of the abstract block must be exhibited by the composition of the concrete sub-block...
متن کاملSentinel Scheduling with Recovery Blocks
This paper introduces a method for speculative execution, sentinel scheduling with recovery blocks, which is an improvement upon sentinel scheduling. This method is compared against speculative models that have been proposed previously. The hardware and compiler support needed for sentinel scheduling with recovery blocks is fully described. Quantitative results of speedup and code growth are pr...
متن کاملReferent Misidentification and Recovery among Communicating Agents
When interacting autonomous agents operate in open domains that contain novel objects, the agents may be unable to refer to the objects by using preassigned names. As an alternative, the agents might use de~criptions. When agents refer to domain objects by using de~riptions, referent ml.sidentifications (RM[s) will occur. ThLs paper formally models recovery from RMIs among such agents. We show ...
متن کاملAnalysis of Communicating Automata
This extended abstract is a survey of some of the recent developments in the area of automated verification dedicated to the analysis of communicating automata. Communicating automata are a fundamental computational model for concurrent systems, where processes cooperate via asynchronous message passing using unbounded channels. They are a popular model for representing and reasoning about comm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Reliability
سال: 1998
ISSN: 0018-9529
DOI: 10.1109/24.740494